应用参数微分法从弹丸试验数据获取阻力系数

本文在介绍弹道模型的基础上,讨论了应用参数微分法获取弹丸阻力系数的过程,并给出了计算机仿真实验结果。此方法已应用于靶场。     

新型八毫米电扫描跟踪天线

本文研究了一种小功率毫米波电扫天线的新技术。它用开关置于上、下两层双加脊波导组成的馈源中的四个二极管实现波束的快速电子扫描。文中讨论了研制技术难点与解决方法。实验所得各项指标均较满意。此技术也可方便地推广应用到其它微波频段。     

多传感器数据融合算法综述

数据融合就是利用多传感器的协合效应来提高系统效率,它是现代Ｃ３Ｉ作战系统的关键技术之一．阐述了多传感器数据融合的特点、分布检测、空间、属性融合、态势评估和威胁估计算法,并同时介绍一些关键课题．     

三分量磁传感器非理想放置时磁场数据的分析方法

用欧拉角和矩阵变换方法导出了三分量磁传感器坐标系ｏ—ｘｙｚ与地磁坐标系Ｏ－ＸＹＺ有任意旋转关系时的磁场转换公式。用此公式分析了消磁系统中电子型消磁电流调整器的三分量磁传感器非理想放置时,对舰船消磁系统控制信号的影响,认为该影响在抗干扰调整过程中应引起足够的重视。     

核电站运行诊断系统探讨

根据国外核电站诊断系统的现状,简要叙述其基本组成及工作过程,分析了运行诊断系统在核动力方面的应用前景,提出了加强核电站运行诊断系统应用有效性的几个问题。     

综合翻译理论观浅谈

介绍了翻译理论界两大学派：科学学派和艺术学派各自争论的焦点和缺憾,阐述了综合翻译理论观,即把科学和艺术学派的理论观结合起来,采取兼容并包的方针,来研究翻译理论。     

舰船后传动装置的分析及其发展概况

介绍了后传动装置的主要元件及目前舰船典型的传动方式,在此基础上简述了今后的发展动态。     

细长壳体水声辐射问题的有限元结合边界元解法

采用三角形面积元,提出了一种计算任意形状的细长壳体水声辐射问题的有限元结合边界元解法,推导了三角形面积坐标下的质量矩阵。在水动力方面,根据单层势的概念,提出了声场速度势的边界积分表示式,给出了三角形面积坐标下的附加质量矩阵和附加阻尼矩阵,从而得以建立流固耦合的有限元动力响应方程。本方法的进一步发展可用于计算具有加强肋骨的双层壳体结构的声辐射问题以及船体在随机激励下的远场声功率谱。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

时序逻辑的并行描述与隐含遍历

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。